Ideas from 'An Axiomatization of Set Theory' by John von Neumann [1925], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

green numbers give full details    |     back to texts     |     expand these ideas

---

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

15943

Limitation of Size is not self-evident, and seems too strong [Lavine]

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

13672

All the axioms for mathematics presuppose set theory